CORAL[2]

University of Wisconsin Madison

A language for deductive database. It has a syntax resembling Prolog, with SQL-like extensions. Many evaluation techniques are supported.